$\forall$$k$:FinProbSpace, $n$:$\mathbb{N}$, $i$:\{0..$n$$^{-}$\}, $X$:(Outcome$\rightarrow\mathbb{Q}$). $X$@$i$ $\in$ RandomVariable($k$;$n$)